автоматический верификатор

автоматический верификатор
автоматический верификатор м. выч. automatischer Verifizierer m

Большой русско-немецкий полетехнический словарь. 2009.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • автоматический верификатор — Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN mechanical verifier …   Справочник технического переводчика

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”